
(eq (type-of 1) type-i)
